Incremental Materialization Update via Abstraction Refinement
نویسندگان
چکیده
ion Refinement Markus Brenner and Birte Glimm University of Ulm, Germany, [email protected] Abstract. Abstraction refinement is a recently introduced technique Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. In this paper, we show how abstraction refinement can be adopted for incremental ABox materialization by combining it with the well-known DRed algorithm for materialization maintenance. Similarly to reasoning using abstraction refinement, we can perform computationally expensive operations such as overdeletion on smaller, disconnected abstractions instead of operating on a large ABox. We also show that the obtained procedure is sound and complete for Horn ALCHI ontologies.
منابع مشابه
Ontology Materialization by Abstraction Refinement in Horn SHOIF
Abstraction refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) ‘abstraction’ of this ontology. Although this approach is sound for the very expressive language SROIQ, so far it was proved to be complete only for Horn ALCHOI ontologies. In this paper we propose an extension of this ...
متن کاملScalable Reasoning by Abstraction Beyond DL-Lite
Recently, it has been shown that ontologies with large datasets can be efficiently materialized by a so-called abstraction refinement technique. The technique consists of the abstraction phase, which partitions individuals into equivalence classes, and the refinement phase, which re-partitions individuals based on entailments for the representative individual of each equivalence class. In this ...
متن کاملAbstraction Refinement for Ontology Materialization Technical Report
ion Refinement for Ontology Materialization Technical Report Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in whi...
متن کاملScalable Reasoning by Abstraction in DL-Lite
The DL-Lite family are description logics specifically designed for ontology-based data access (OBDA). In this setting, an ontology with background knowlege (a TBox) can be seen as a conceptual view over data repositories (ABoxes), and data can be accessed via query answering services. Common techniques for query answering in DL-Lite are (pure) rewriting and combined approaches. In the rewritin...
متن کاملAbstraction Refinement for Ontology Materialization
ion Refinement for Ontology Materialization Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over...
متن کامل